Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare

Source URL: www.edsko.net

• Logic
• Theoretical computer science
• Mathematics
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Hoare logic
• Predicate transformer semantics
• Permutation
• Closed and exact differential forms

Design and Implementation of a PHP Compiler Front-end Edsko de Vries∗ and John Gilbert {devriese, gilberj}@cs.tcd.ie Department of Computer Science School of Computer Science and Statistics Trinity College Dublin, Irel

Source URL: www.edsko.net

• Software
• Computing
• Compiler construction
• Compiling tools
• Formal languages
• Cross-platform software
• Parser generators
• Syntax
• GNU bison
• Parsing
• Lexical analysis
• PHP

Global Growth Accounting: The role of shifting investment patterns Abdul A Erumban Robert Inklaar Klaas de Vries World KLEMS Conference, May, Madrid

Source URL: www.worldklems.net

• National accounts
• Economics
• Economy
• Capital
• Gross fixed capital formation
• Capital formation
• Fixed capital
• Depreciation
• Gross domestic product
• Investment
• Productivity
• Asset

VU Library scientific information specialists Arts and Humanities • • •

Source URL: www.ub.vu.nl

• Dutch language
• De Vries
• Andr Hazes
• Geert Hofstede
• De Zwaan
• Zwaan

The ISM seen at unprecedented resolution Elisa Costantini (SRON) C. Pinto, C. de Vries, J. Kaastra (SRON)

Source URL: ixo.gsfc.nasa.gov

• Physics
• Nature
• Chemistry
• Astrochemistry
• Atomic physics
• Electromagnetic spectrum
• Radiation
• Nuclear physics
• Interstellar medium
• Pyroxene
• Olivine
• X-ray

Jack Kooistra Sjoerd Bakker, Dirk de Vries, Jochem Kazemier, Nelly de Bode, Leendert de Geus… Het zijn slechts enkele namen van de vele, vele oorlogsslachtoffers die u heeft geregistreerd, meneer Kooistra. Tien- en tie

Source URL: cultuurfonds.nl

Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries

Source URL: www.edsko.net

• Type theory
• Software engineering
• Theoretical computer science
• Mathematical logic
• Lambda calculus
• System F
• Type system
• Uniqueness type
• Functional programming
• Polymorphism
• Clean

Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared,

Source URL: www.edsko.net

• Type theory
• Data types
• Software engineering
• Object-oriented programming
• Computing
• Polymorphism
• Functional programming
• Type system
• Subtyping
• Symbol
• Uniqueness type

DE ECONOMIST 148, NO. 4, 2000 DUTCH ECONOMIC GROWTH IN COMPARATIVE-HISTORICAL PERSPECTIVE, 1500–2000 BY JAN DE VRIES*

Source URL: pseudoerasmus.files.wordpress.com

• Economy of the Netherlands
• Economic growth
• Economic history of the Netherlands
• Angus Maddison
• Gross domestic product
• Economic stagnation
• Simon Kuznets
• Economy
• Economic inequality
• Netherlands

Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes

Source URL: www.edsko.net

• Type theory
• Generic programming
• Polytypic
• NP
• Polymorphism
• Functor
• Dependent type
• Map